theorem proving
un. 定理证明
[网络] 定理证明法；定理证明方法；定理机器证明
热门查询
- sabine n. 萨宾人；萨宾语；色宾河（美国得克萨斯州东部河流） adj. 萨宾人的；萨宾语的
- unchained adj. 解放的 v. 解开枷锁；释放（unchain的过去分词）
- gizzard n. （鸟的）[鸟] 砂囊；胃；喉咙
- anticipatory adj. 预期的；提早发生的；期待着的
- Fleischmann [人名] 弗莱施曼
- quarry n. 采石场；猎物；来源 vt. 挖出；努力挖掘 vi. 费力地找 n. (Quarry)人名；(英)夸里
- Javanese n. 爪哇语；爪哇人 adj. 爪哇的；爪哇语的；爪哇人的
- mayoralty n. 市长职位；市长任期
- shiite n. 什叶派教徒 adj. 什叶派的
- western n. 西方人；西部片，西部小说 adj. 西方的，西部的；有西方特征的 n. (Western)人名；(英)韦斯顿
- plenteous adj. 许多的; 丰饶的; 充足的; 丰富的
- monocular adj. 单眼的；单眼用的
- in detail na. 详细 [网络] 详细地；详细的；详尽
- counteroffer n. 反要约；买方还价
- presidentially 以总统的资格
- healing n. 康复 adj. 能治愈的 v. 治疗（heal的现在分词）
- twilight adj. 黎明，黄昏；薄暮；衰退期；朦胧状态 n. 黄昏；薄暮；衰退期；朦胧状态
- bursar n. 财务主管；会计员；领取奖学金的学生
- preternaturally adv. 异常地；超自然地；不可思议地
- critically adv. 精密地；危急地；严重地；批评性地；用钻研眼光地；很大程度上；极为重要地
考试词汇表
- Schwabe ear and mastoid chisel
- Schwalbe's contraction furrows
- Schwarz's uterus canal forceps
- Scientific Manpower Commission
- Sclerosis,Progressive Systemic
- Scopoletin glucosyltransferase
- Scott's harden intubation tube
- Scoville brain spatula forceps
- Scraping of corneal epithelium
- Scraping of trachoma follicles
- Screening for venereal disease
- Scutellaria baicalensis Georgi
- Scutellaria likiangensis Diels
- Sea Fisheries Training Council
- Sea urchin hatching proteinase
- Sea-urchin-hatching proteinase
- Seafarer's Exit Identification
- Seafarer's International Union
- Seafarers' International Union
- Search and Rescue Organization
